241. Implementation and Application of Automata :
Author: edited by Michal Hospodâar, Galina Jirâaskovâa.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer network architectures.,Logic design.,Software engineering.,Logic design.,Machine theory.,Robotics.,Software engineering.
Classification :
QA76
.
9
.
L63


242. Information and decision sciences :
Author: Suresh Chandra Satapathy, Joao Manuel R.S. Tavares, Vikrant Bhateja, J.R. Mohanty, editors.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence, Congresses.,Computational intelligence, Congresses.,Machine learning, Congresses.,Artificial intelligence.,Computational intelligence.,COMPUTERS-- General.,Machine learning.
Classification :
Q334


243. Information theory, inference, and learning algorithms
Author: MacKay, David J. C.,David J.C. MacKay
Library: Library and Documentation Center of Kurdistan University (Kurdistan)
Subject: ، Information theory
Classification :
Q360
.
M23
2003


244. Intelligent Tutoring Systems :
Author: edited by Mitsuru Ikeda, Kevin D. Ashley, Tak-Wai Chan.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Information systems.,Multimedia systems.

245. Intelligent processing algorithms and applications for GPS positioning data of Qinghai-Tibet Railway /
Author: Dewang Chen, Ruijun Cheng.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Global Positioning System.,Railroads-- China-- Remote sensing.,Railroads-- China-- Tibet Autonomous Region-- Remote sensing.,Global Positioning System.,China, Tibet Autonomous Region.,China., 7, 7
Classification :
TF153
.
C44
2019


246. Introduction to graph theory /
Author: Douglas B. West
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Graph theory
Classification :
QA166
.
W43
2001


247. Introduction to semi-supervised learning /
Author: Xiaojin Zhu and Andrew B. Goldberg.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Machine learning.,Supervised learning (Machine learning),COMPUTERS-- Enterprise Applications-- Business Intelligence Tools.,COMPUTERS-- Intelligence (AI) & Semantics.,Machine learning.,Supervised learning (Machine learning)
Classification :
Q325
.
75


248. Iterative methods in combinatorial optimization /
Author: Lap Chi Lau, R. Ravi, Mohit Singh
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Combinatorial optimization,Iterative methods (Mathematics)
Classification :
QA297
.
8
.
L38
2011


249. Jewels of stringology /
Author: Maxime Crochemore, Wojciech Rytter.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer algorithms.,Matching theory.,Computer algorithms.,Computer algorithms.,Datoralgoritmer.,Matching theory.,Matching theory.
Classification :
QA76
.
9
.
A43
C76
2002


250. LATIN 2018 :
Author: Michael A. Bender, Martín Farach-Colton, Miguel A. Mosteiro (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science, Congresses.,Algorithms & data structures.,Artificial intelligence.,Computer networking & communications.,Computer science.,Computers-- Computer Graphics.,Computers-- Data Modeling & Design.,Computers-- Data Processing.,Computers-- Hardware-- General.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Graphics programming.,Mathematical theory of computation.
Classification :
QA75
.
5


251. Language and Automata Theory and Applications :
Author: edited by Adrian-Horia Dediu, Carlos Martín-Vide, Bianca Truthe.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Computer software.,Logic design.

252. Language and automata theory and applications :
Author: edited by Shmuel Tomi Klein, Carlos Martín-Vide, Dana Shapira.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal languages, Congresses.,Machine theory, Congresses.,Mathematical linguistics, Congresses.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computers-- Intelligence (AI) & Semantics.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Formal languages.,Machine theory.,Mathematical linguistics.,Mathematical theory of computation.,Mathematics-- Logic.,Maths for computer scientists.
Classification :
QA267
.
L38
2018


253. Large Scale Linear and Integer Optimization A Unified Approach.
Author: Martin, Richard Kipp.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
Classification :
T57
.
74
M378
2013


254. Large networks and graph limits
Author: Lovasz, Laszlo
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، Graph theory,، Algebra, Abstract,، Combinatorics -- Graph theory -- None of the above, but in this section,، Combinatorics -- Graph theory -- Graphs and abstract algebra )groups, rings, fields, etc.(,، Combinatorics -- Graph theory -- Extremal problems,، Combinatorics -- Graph theory -- Random graphs,، Combinatorics -- Graph theory -- Small world graphs, complex networks,، Combinatorics -- Graph theory -- Graph algorithms,، Operations research, mathematical programming -- Operations research and management science -- Network models, stochastic
Classification :
QA
166
.
L675


255. Linear algebra and probability for computer science applications /
Author: Ernest Davis
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebras, Linear,Computer science-- Mathematics,Probabilities
Classification :
QA76
.
9
.
M35
D38
2012


256. Logics of Programs :
Author: by E. Clarke, D. Kozen.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Programmation (Informatique) -- Congrès.

257. MATLAB control systems engineering /
Author: César Pérez López
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: MATLAB,Computer-aided engineering,Control theory-- Computer programs
Classification :
QA402
.
3
.
P47
2014


258. Marine navigation and safety of sea transportation
Author: / editor, Adam Weintrit
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Electronics in navigation--Congresses,Aids to navigation--Congresses,Shipping--Safety measures--Congresses,Shipping--Technological innovations--Congresses,Nautical instruments--Congresses

259. Matching theory /
Author: by L. Lovász and M.D. Plummer
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Matching theory
Classification :
QA164
.
L7
1986


260. Mathematical Foundations of Computer Science 1986 :
Author: edited by Jozef Gruska, Branislav Rovan, Juraj Wiedermann.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Computer software.,Logic design.
Classification :
QA267
.
E358
1986

